#include<stdio.h>
#include<assert.h>

int main(int argc, char const *argv[])
{
    int x;
    printf("请输入正数:");
    scanf("%d", &x);
    // assert里面的值为0时，停止程序s
    assert(x > 0);   
    printf("x是正数\n");
    return 0;
}
